Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
11	Tutorial on Specialisation of Logic Programs J.P. Gallagher Department of Computer Science University of Bristol University Walk Bristol BS8 1TR, U.K. Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:29 Software engineering Logic Mathematical logic Logic programming Logic in computer science Automated theorem proving Predicate logic Prolog Horn clause Resolution Partial evaluation Mereology
12	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski Add to Reading List Source URL: mizar.auburn.edu Language: English - Date: 2016-07-29 01:16:07 Logic Mathematical logic Abstraction Predicate logic Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar
13	Categorematic Unreducible Polyadic Quantifiers in Lexical Resource Semantics Frank Richter Goethe Universität Frankfurt a.M. HeadLex 2016, Warsaw Add to Reading List Source URL: nlp.ipipan.waw.pl Language: English - Date: 2016-07-24 19:55:04 Quantification Logic Semantics Abstraction Predicate logic Finite model theory Philosophical logic Quantifier Universal quantification FO
14	Layers and Operators Revisited Matthew Anstey 1. Introduction1 Perhaps Functional Grammar’s most distinctive feature is its extensive use of the so-called layered structure of the clause (LSC). The LSC is used as both Add to Reading List Source URL: home.hum.uva.nl Language: English - Date: 2009-12-01 07:07:32 Linguistics Logic Grammar Syntax Semantics Predicate Argument Proposition Dependency grammar Quantifier Operator Clause
15	Reaction Time as a Measure of Implicit Grammaticality Judgment Misha Becker UNC Chapel Hill October 1, 2014 Add to Reading List Source URL: www.unc.edu Language: English - Date: 2014-10-22 16:05:59 Linguistics Cognitive science Grammar Generative linguistics Cognition Parts of speech Grammaticality Philosophy of logic Language acquisition Predicate Bootstrapping Language
16	On Skolemization in constructive theories Matthias Baaz∗ Rosalie Iemhoff Inst. for Discrete Math. and Geometry E104 Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-02-06 05:45:02 Logic Mathematical logic Abstraction Model theory Proof theory Predicate logic Logic in computer science Philosophical logic Skolem normal form Herbrandization First-order logic Intuitionistic logic
17	Integrating Categorematic Unreducible Polyadic Quantifiers in LRS Frank Richter∗ Introduction This paper has two goals: On the technical side, it presents a general integration of polyadic quantification in Lexical Res Add to Reading List Source URL: nlp.ipipan.waw.pl Language: English - Date: 2016-05-23 07:03:44 Logic Quantification Mathematical logic Semantics Abstraction Predicate logic Model theory Finite model theory Quantifier First-order logic FO Generalized quantifier
18	COGNITION Cognition376 ELSEVIER Similar, and similar concepts Add to Reading List Source URL: www.ircs.upenn.edu Language: English - Date: 2015-10-27 17:01:28 Semantics Grammar Logic Linguistics Academia Predicate Symmetry Selection Similarity Dependency grammar Language Prototype theory
19	SETS: A Basic Set Theory Package Francis J. Wright School of Mathematical Sciences Queen Mary and Westfield College University of London Mile End Road, London E1 4NS, UK. Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:47:48 Mathematical logic Mathematics Logic Boolean algebra Predicate logic Relational operator Predicate Boolean data type Algebra of sets Subset Equality Logical disjunction
20	Broad-coverage CCG Semantic Parsing with AMR Kenton Lee Luke Zettlemoyer Yoav Artzi∗ Dept. of Computer Science and Cornell Tech Computer Science & Engineering University of Washington Cornell University Add to Reading List Source URL: www.emnlp2015.org Language: English - Date: 2015-12-05 04:22:39 Logic Mathematical logic Mathematics Predicate logic Type theory Logic in computer science Combinatory categorial grammar Combinatory logic Quantifier Lambda calculus Parsing Free variables and bound variables